OMon{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	Mon, AbMon, OMon
Definitions	x,y. t(x;y), , x f y, OMon, t  T, Mon, x(s1,s2), x:A. B(x), AbMon
Lemmas	grp le wf, assert wf, grp car wf, linorder wf, abmonoid wf